Taming the Octopus: Using Formal Models to Integrate the Octopus Object Oriented Analysis Models

نویسنده

  • Robert B. France
چکیده

The Octopus method packages a rich set of mostly graphical object-oriented (OO) modeling techniques that facilitate the creation of abstract, well-structured models of structure and behavior along a variety of modeling perspectives. The techniques provide good tools for managing the complexity in reactive, embedded systems. On the other hand, the lack of precise semantics for the modeling notations used diminishes the role it can play in the development of critical reactive systems. In this paper we describe an extension to the Octopus analysis techniques that provides support for precise speciication and rigorous analysis. We use a formal notation, Z, to describe formally the concepts captured by Octopus analysis models. The formal notation enhances the applicability of Octopus models to critical, reactive systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Seasonal Variations of Fat and Fatty Acid Composition in Muscle Tissues of Mediterranean Octopuses

 The effects of seasons on lipid and fatty acid profiles of muscle types (mantle and arm) of Mediterranean octopuses (common octopus-Octopus vulgaris and musky octopus-Eledone moschata) were investigated. The results showed that lipid levels ranged from 0.75% to 1.60% in both muscle types of octopuses which were considered as lean. Lipid levels in mantle tissues of both octopus species w...

متن کامل

Study on the fishing performance of an alternative tubular-type pot for the common octopus, Octopus minor, in Korean coastal waters

We aimed to develop alternative fishing gear for catching the common octopus, to decrease the use of bait and operating costs in comparison to commercial net pots. A tubular-type pot was designed, and behavioral responses of the common octopus were experimentally monitored in tank and replicated 10 times to compare fishing performances between 300 experimental and 300 commercial net pots in the...

متن کامل

Study on the fishing performance of an alternative tubular-type pot for the common octopus, Octopus minor, in Korean coastal waters

We aimed to develop alternative fishing gear for catching the common octopus, to decrease the use of bait and operating costs in comparison to commercial net pots. A tubular-type pot was designed, and behavioral responses of the common octopus were experimentally monitored in tank and replicated 10 times to compare fishing performances between 300 experimental and 300 commercial net pots in the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997